how to get the trigonometric identities